\(\int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n \, dx\) [483]

Optimal result

Integrand size = 30, antiderivative size = 269 \[ \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n \, dx=\frac {i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n}{d (4-n)}+\frac {4 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{1+n}}{a d \left (8-6 n+n^2\right )}-\frac {12 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{2+n}}{a^2 d (2-n) (4-n) n}+\frac {24 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{3+n}}{a^3 d (4-n) n \left (4-n^2\right )}-\frac {24 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{4+n}}{a^4 d n \left (64-20 n^2+n^4\right )} \]

[Out]

I*(e*sec(d*x+c))^(-4-n)*(a+I*a*tan(d*x+c))^n/d/(4-n)+4*I*(e*sec(d*x+c))^(-4-n)*(a+I*a*tan(d*x+c))^(1+n)/a/d/(n
^2-6*n+8)-12*I*(e*sec(d*x+c))^(-4-n)*(a+I*a*tan(d*x+c))^(2+n)/a^2/d/(2-n)/(4-n)/n+24*I*(e*sec(d*x+c))^(-4-n)*(
a+I*a*tan(d*x+c))^(3+n)/a^3/d/(4-n)/n/(-n^2+4)-24*I*(e*sec(d*x+c))^(-4-n)*(a+I*a*tan(d*x+c))^(4+n)/a^4/d/n/(n^
4-20*n^2+64)

Rubi [A] (verified)

Time = 0.49 (sec) , antiderivative size = 269, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.067, Rules used = {3585, 3569} \[ \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n \, dx=-\frac {24 i (a+i a \tan (c+d x))^{n+4} (e \sec (c+d x))^{-n-4}}{a^4 d n \left (n^4-20 n^2+64\right )}+\frac {24 i (a+i a \tan (c+d x))^{n+3} (e \sec (c+d x))^{-n-4}}{a^3 d (4-n) n \left (4-n^2\right )}-\frac {12 i (a+i a \tan (c+d x))^{n+2} (e \sec (c+d x))^{-n-4}}{a^2 d (2-n) (4-n) n}+\frac {4 i (a+i a \tan (c+d x))^{n+1} (e \sec (c+d x))^{-n-4}}{a d \left (n^2-6 n+8\right )}+\frac {i (a+i a \tan (c+d x))^n (e \sec (c+d x))^{-n-4}}{d (4-n)} \]

[In]

Int[(e*Sec[c + d*x])^(-4 - n)*(a + I*a*Tan[c + d*x])^n,x]

[Out]

(I*(e*Sec[c + d*x])^(-4 - n)*(a + I*a*Tan[c + d*x])^n)/(d*(4 - n)) + ((4*I)*(e*Sec[c + d*x])^(-4 - n)*(a + I*a
*Tan[c + d*x])^(1 + n))/(a*d*(8 - 6*n + n^2)) - ((12*I)*(e*Sec[c + d*x])^(-4 - n)*(a + I*a*Tan[c + d*x])^(2 +
n))/(a^2*d*(2 - n)*(4 - n)*n) + ((24*I)*(e*Sec[c + d*x])^(-4 - n)*(a + I*a*Tan[c + d*x])^(3 + n))/(a^3*d*(4 -
n)*n*(4 - n^2)) - ((24*I)*(e*Sec[c + d*x])^(-4 - n)*(a + I*a*Tan[c + d*x])^(4 + n))/(a^4*d*n*(64 - 20*n^2 + n^
4))

Rule 3569

Int[((d_.)*sec[(e_.) + (f_.)*(x_)])^(m_.)*((a_) + (b_.)*tan[(e_.) + (f_.)*(x_)])^(n_), x_Symbol] :> Simp[b*(d*
Sec[e + f*x])^m*((a + b*Tan[e + f*x])^n/(a*f*m)), x] /; FreeQ[{a, b, d, e, f, m, n}, x] && EqQ[a^2 + b^2, 0] &
& EqQ[Simplify[m + n], 0]

Rule 3585

Int[((d_.)*sec[(e_.) + (f_.)*(x_)])^(m_.)*((a_) + (b_.)*tan[(e_.) + (f_.)*(x_)])^(n_), x_Symbol] :> Simp[a*(d*
Sec[e + f*x])^m*((a + b*Tan[e + f*x])^n/(b*f*(m + 2*n))), x] + Dist[Simplify[m + n]/(a*(m + 2*n)), Int[(d*Sec[
e + f*x])^m*(a + b*Tan[e + f*x])^(n + 1), x], x] /; FreeQ[{a, b, d, e, f, m, n}, x] && EqQ[a^2 + b^2, 0] && IL
tQ[Simplify[m + n], 0] && NeQ[m + 2*n, 0]

Rubi steps \begin{align*} \text {integral}& = \frac {i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n}{d (4-n)}+\frac {4 \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{1+n} \, dx}{a (4-n)} \\ & = \frac {i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n}{d (4-n)}+\frac {4 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{1+n}}{a d \left (8-6 n+n^2\right )}+\frac {12 \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{2+n} \, dx}{a^2 (2-n) (4-n)} \\ & = \frac {i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n}{d (4-n)}+\frac {4 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{1+n}}{a d \left (8-6 n+n^2\right )}-\frac {12 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{2+n}}{a^2 d (2-n) (4-n) n}-\frac {24 \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{3+n} \, dx}{a^3 (2-n) (4-n) n} \\ & = \frac {i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n}{d (4-n)}+\frac {4 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{1+n}}{a d \left (8-6 n+n^2\right )}-\frac {12 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{2+n}}{a^2 d (2-n) (4-n) n}+\frac {24 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{3+n}}{a^3 d (2-n) (4-n) n (2+n)}+\frac {24 \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{4+n} \, dx}{a^4 (2-n) (4-n) n (2+n)} \\ & = \frac {i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n}{d (4-n)}+\frac {4 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{1+n}}{a d \left (8-6 n+n^2\right )}-\frac {12 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{2+n}}{a^2 d (2-n) (4-n) n}+\frac {24 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{3+n}}{a^3 d (2-n) (4-n) n (2+n)}-\frac {24 i (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^{4+n}}{a^4 d n \left (64-20 n^2+n^4\right )} \\ \end{align*}

Mathematica [A] (verified)

Time = 1.89 (sec) , antiderivative size = 165, normalized size of antiderivative = 0.61 \[ \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n \, dx=-\frac {i (e \sec (c+d x))^{-n} \left (192-60 n^2+3 n^4+4 n^2 \left (-16+n^2\right ) \cos (2 (c+d x))+n^2 \left (-4+n^2\right ) \cos (4 (c+d x))+128 i n \sin (2 (c+d x))-8 i n^3 \sin (2 (c+d x))+16 i n \sin (4 (c+d x))-4 i n^3 \sin (4 (c+d x))\right ) (a+i a \tan (c+d x))^n}{8 d e^4 (-4+n) (-2+n) n (2+n) (4+n)} \]

[In]

Integrate[(e*Sec[c + d*x])^(-4 - n)*(a + I*a*Tan[c + d*x])^n,x]

[Out]

((-1/8*I)*(192 - 60*n^2 + 3*n^4 + 4*n^2*(-16 + n^2)*Cos[2*(c + d*x)] + n^2*(-4 + n^2)*Cos[4*(c + d*x)] + (128*
I)*n*Sin[2*(c + d*x)] - (8*I)*n^3*Sin[2*(c + d*x)] + (16*I)*n*Sin[4*(c + d*x)] - (4*I)*n^3*Sin[4*(c + d*x)])*(
a + I*a*Tan[c + d*x])^n)/(d*e^4*(-4 + n)*(-2 + n)*n*(2 + n)*(4 + n)*(e*Sec[c + d*x])^n)

Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 6.43 (sec) , antiderivative size = 4331, normalized size of antiderivative = 16.10

method	result	size
risch	\(\text {Expression too large to display}\)	\(4331\)

[In]

int((e*sec(d*x+c))^(-4-n)*(a+I*a*tan(d*x+c))^n,x,method=_RETURNVERBOSE)

[Out]

-1/16*I/(n-4)/d*a^n/(e^n)/e^4*exp(I*(d*x+c))^n*exp(-1/2*I*(-csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2*
csgn(I*a)*Pi*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))*c
sgn(I*a)*Pi*n+csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3*Pi*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+
c)))*csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2*Pi*n-n*Pi*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))
^3+n*Pi*csgn(I*e)*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2+n*Pi*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))
+1))*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-n*Pi*csgn(I*e)*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1)
)*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))+Pi*csgn(I*exp(2*I*(d*x+c)))^3*n-2*Pi*csgn(I*exp(2*I*(d*x+c)))^
2*csgn(I*exp(I*(d*x+c)))*n+Pi*csgn(I*exp(2*I*(d*x+c)))*csgn(I*exp(I*(d*x+c)))^2*n-csgn(I/(exp(2*I*(d*x+c))+1)*
exp(2*I*(d*x+c)))^2*Pi*csgn(I*exp(2*I*(d*x+c)))*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*Pi*csgn(I/(exp
(2*I*(d*x+c))+1))*csgn(I*exp(2*I*(d*x+c)))*n-n*Pi*csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(I*(d*x+c)))*csgn(I*e
xp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))+n*Pi*csgn(I*exp(I*(d*x+c)))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2+
csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^3*Pi*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^2*Pi*csgn(I
/(exp(2*I*(d*x+c))+1))*n+n*Pi*csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-n*Pi*
csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3+8*d*x+8*c))-1/16*I/(4+n)/d*a^n/(e^n)/e^4*exp(I*(d*x+c))^n*exp(1/
2*I*(-csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3*Pi*n+csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2
*csgn(I*a)*Pi*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^
2*Pi*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*a)
*Pi*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^3*Pi*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^2*Pi*
csgn(I*exp(2*I*(d*x+c)))*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^2*Pi*csgn(I/(exp(2*I*(d*x+c))+1))*n-c
sgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*Pi*csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(2*I*(d*x+c)))*n+n*Pi*c
sgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3-n*Pi*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*e*exp(I
*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-n*Pi*csgn(I*e)*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2+n*Pi*csgn(I*e
)*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))+n*Pi*csgn(I*exp(I*
(d*x+c))/(exp(2*I*(d*x+c))+1))^3-n*Pi*csgn(I*exp(I*(d*x+c)))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-n*P
i*csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2+n*Pi*csgn(I/(exp(2*I*(d*x+c))+1))
*csgn(I*exp(I*(d*x+c)))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))-Pi*csgn(I*exp(2*I*(d*x+c)))^3*n+2*Pi*csgn(
I*exp(2*I*(d*x+c)))^2*csgn(I*exp(I*(d*x+c)))*n-Pi*csgn(I*exp(2*I*(d*x+c)))*csgn(I*exp(I*(d*x+c)))^2*n+8*d*x+8*
c))-3/8*I/d/n*a^n/(e^n)/e^4*exp(I*(d*x+c))^n*exp(1/2*I*n*Pi*(-csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^
3+csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2*csgn(I*a)+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*cs
gn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*csgn(I*a*exp(2*I
*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*a)-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^3+csgn(I/(exp(2*I*(d*x
+c))+1)*exp(2*I*(d*x+c)))^2*csgn(I*exp(2*I*(d*x+c)))+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^2*csgn(I/(e
xp(2*I*(d*x+c))+1))-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(2*I*
(d*x+c)))+csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3-csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*e
*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-csgn(I*e)*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2+csgn(I*e)*cs
gn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))+csgn(I*exp(I*(d*x+c))/
(exp(2*I*(d*x+c))+1))^3-csgn(I*exp(I*(d*x+c)))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-csgn(I/(exp(2*I*(
d*x+c))+1))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2+csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(I*(d*x+c)))*
csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))-csgn(I*exp(2*I*(d*x+c)))^3+2*csgn(I*exp(2*I*(d*x+c)))^2*csgn(I*exp
(I*(d*x+c)))-csgn(I*exp(2*I*(d*x+c)))*csgn(I*exp(I*(d*x+c)))^2))-1/4*I/(n-2)/d*a^n/(e^n)/e^4*exp(I*(d*x+c))^n*
exp(-1/2*I*(csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3*Pi*n-csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))
+1))^2*csgn(I*a)*Pi*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c)
)+1))^2*Pi*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csg
n(I*a)*Pi*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^3*Pi*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))
^2*Pi*csgn(I*exp(2*I*(d*x+c)))*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^2*Pi*csgn(I/(exp(2*I*(d*x+c))+1
))*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*Pi*csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(2*I*(d*x+c)))*n-
n*Pi*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3+n*Pi*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*e
*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2+n*Pi*csgn(I*e)*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-n*Pi*cs
gn(I*e)*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))-n*Pi*csgn(I*
exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3+n*Pi*csgn(I*exp(I*(d*x+c)))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))
^2+n*Pi*csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-n*Pi*csgn(I/(exp(2*I*(d*x+c
))+1))*csgn(I*exp(I*(d*x+c)))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))+Pi*csgn(I*exp(2*I*(d*x+c)))^3*n-2*Pi
*csgn(I*exp(2*I*(d*x+c)))^2*csgn(I*exp(I*(d*x+c)))*n+Pi*csgn(I*exp(2*I*(d*x+c)))*csgn(I*exp(I*(d*x+c)))^2*n+4*
d*x+4*c))-1/4*I/(2+n)/d*a^n/(e^n)/e^4*exp(I*(d*x+c))^n*exp(1/2*I*(-csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))
+1))^3*Pi*n+csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2*csgn(I*a)*Pi*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2
*I*(d*x+c)))*csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2*Pi*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c
)))*csgn(I*a*exp(2*I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*a)*Pi*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)
))^3*Pi*n+csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))^2*Pi*csgn(I*exp(2*I*(d*x+c)))*n+csgn(I/(exp(2*I*(d*x+c
))+1)*exp(2*I*(d*x+c)))^2*Pi*csgn(I/(exp(2*I*(d*x+c))+1))*n-csgn(I/(exp(2*I*(d*x+c))+1)*exp(2*I*(d*x+c)))*Pi*c
sgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(2*I*(d*x+c)))*n+n*Pi*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3-n*
Pi*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-n*Pi*csgn(I*e)*
csgn(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2+n*Pi*csgn(I*e)*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))*csg
n(I*e*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))+n*Pi*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^3-n*Pi*csgn(I*exp(
I*(d*x+c)))*csgn(I*exp(I*(d*x+c))/(exp(2*I*(d*x+c))+1))^2-n*Pi*csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(I*(d*x+
c))/(exp(2*I*(d*x+c))+1))^2+n*Pi*csgn(I/(exp(2*I*(d*x+c))+1))*csgn(I*exp(I*(d*x+c)))*csgn(I*exp(I*(d*x+c))/(ex
p(2*I*(d*x+c))+1))-Pi*csgn(I*exp(2*I*(d*x+c)))^3*n+2*Pi*csgn(I*exp(2*I*(d*x+c)))^2*csgn(I*exp(I*(d*x+c)))*n-Pi
*csgn(I*exp(2*I*(d*x+c)))*csgn(I*exp(I*(d*x+c)))^2*n+4*d*x+4*c))

Fricas [A] (verification not implemented)

none

Time = 0.25 (sec) , antiderivative size = 335, normalized size of antiderivative = 1.25 \[ \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n \, dx=\frac {{\left (-i \, n^{4} - 4 i \, n^{3} + 4 i \, n^{2} + {\left (-i \, n^{4} + 4 i \, n^{3} + 4 i \, n^{2} - 16 i \, n\right )} e^{\left (8 i \, d x + 8 i \, c\right )} - 4 \, {\left (i \, n^{4} - 2 i \, n^{3} - 16 i \, n^{2} + 32 i \, n\right )} e^{\left (6 i \, d x + 6 i \, c\right )} - 6 \, {\left (i \, n^{4} - 20 i \, n^{2} + 64 i\right )} e^{\left (4 i \, d x + 4 i \, c\right )} - 4 \, {\left (i \, n^{4} + 2 i \, n^{3} - 16 i \, n^{2} - 32 i \, n\right )} e^{\left (2 i \, d x + 2 i \, c\right )} + 16 i \, n\right )} \left (\frac {2 \, e e^{\left (i \, d x + i \, c\right )}}{e^{\left (2 i \, d x + 2 i \, c\right )} + 1}\right )^{-n - 4} e^{\left (i \, d n x + i \, c n + n \log \left (\frac {2 \, e e^{\left (i \, d x + i \, c\right )}}{e^{\left (2 i \, d x + 2 i \, c\right )} + 1}\right ) + n \log \left (\frac {a}{e}\right )\right )}}{d n^{5} - 20 \, d n^{3} + 64 \, d n + {\left (d n^{5} - 20 \, d n^{3} + 64 \, d n\right )} e^{\left (8 i \, d x + 8 i \, c\right )} + 4 \, {\left (d n^{5} - 20 \, d n^{3} + 64 \, d n\right )} e^{\left (6 i \, d x + 6 i \, c\right )} + 6 \, {\left (d n^{5} - 20 \, d n^{3} + 64 \, d n\right )} e^{\left (4 i \, d x + 4 i \, c\right )} + 4 \, {\left (d n^{5} - 20 \, d n^{3} + 64 \, d n\right )} e^{\left (2 i \, d x + 2 i \, c\right )}} \]

[In]

integrate((e*sec(d*x+c))^(-4-n)*(a+I*a*tan(d*x+c))^n,x, algorithm="fricas")

[Out]

(-I*n^4 - 4*I*n^3 + 4*I*n^2 + (-I*n^4 + 4*I*n^3 + 4*I*n^2 - 16*I*n)*e^(8*I*d*x + 8*I*c) - 4*(I*n^4 - 2*I*n^3 -
16*I*n^2 + 32*I*n)*e^(6*I*d*x + 6*I*c) - 6*(I*n^4 - 20*I*n^2 + 64*I)*e^(4*I*d*x + 4*I*c) - 4*(I*n^4 + 2*I*n^3
- 16*I*n^2 - 32*I*n)*e^(2*I*d*x + 2*I*c) + 16*I*n)*(2*e*e^(I*d*x + I*c)/(e^(2*I*d*x + 2*I*c) + 1))^(-n - 4)*e
^(I*d*n*x + I*c*n + n*log(2*e*e^(I*d*x + I*c)/(e^(2*I*d*x + 2*I*c) + 1)) + n*log(a/e))/(d*n^5 - 20*d*n^3 + 64*
d*n + (d*n^5 - 20*d*n^3 + 64*d*n)*e^(8*I*d*x + 8*I*c) + 4*(d*n^5 - 20*d*n^3 + 64*d*n)*e^(6*I*d*x + 6*I*c) + 6*
(d*n^5 - 20*d*n^3 + 64*d*n)*e^(4*I*d*x + 4*I*c) + 4*(d*n^5 - 20*d*n^3 + 64*d*n)*e^(2*I*d*x + 2*I*c))

Sympy [F]

\[ \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n \, dx=\int \left (e \sec {\left (c + d x \right )}\right )^{- n - 4} \left (i a \left (\tan {\left (c + d x \right )} - i\right )\right )^{n}\, dx \]

[In]

integrate((e*sec(d*x+c))**(-4-n)*(a+I*a*tan(d*x+c))**n,x)

[Out]

Integral((e*sec(c + d*x))**(-n - 4)*(I*a*(tan(c + d*x) - I))**n, x)

Maxima [A] (verification not implemented)

none

Time = 0.82 (sec) , antiderivative size = 435, normalized size of antiderivative = 1.62 \[ \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n \, dx=\frac {{\left (-i \, a^{n} n^{4} + 4 i \, a^{n} n^{3} + 4 i \, a^{n} n^{2} - 16 i \, a^{n} n\right )} \cos \left ({\left (d x + c\right )} {\left (n + 4\right )}\right ) - 4 \, {\left (i \, a^{n} n^{4} - 2 i \, a^{n} n^{3} - 16 i \, a^{n} n^{2} + 32 i \, a^{n} n\right )} \cos \left ({\left (d x + c\right )} {\left (n + 2\right )}\right ) - 4 \, {\left (i \, a^{n} n^{4} + 2 i \, a^{n} n^{3} - 16 i \, a^{n} n^{2} - 32 i \, a^{n} n\right )} \cos \left ({\left (d x + c\right )} {\left (n - 2\right )}\right ) + {\left (-i \, a^{n} n^{4} - 4 i \, a^{n} n^{3} + 4 i \, a^{n} n^{2} + 16 i \, a^{n} n\right )} \cos \left ({\left (d x + c\right )} {\left (n - 4\right )}\right ) - 6 \, {\left (i \, a^{n} n^{4} - 20 i \, a^{n} n^{2} + 64 i \, a^{n}\right )} \cos \left ({\left (d x + c\right )} n\right ) + {\left (a^{n} n^{4} - 4 \, a^{n} n^{3} - 4 \, a^{n} n^{2} + 16 \, a^{n} n\right )} \sin \left ({\left (d x + c\right )} {\left (n + 4\right )}\right ) + 4 \, {\left (a^{n} n^{4} - 2 \, a^{n} n^{3} - 16 \, a^{n} n^{2} + 32 \, a^{n} n\right )} \sin \left ({\left (d x + c\right )} {\left (n + 2\right )}\right ) + 4 \, {\left (a^{n} n^{4} + 2 \, a^{n} n^{3} - 16 \, a^{n} n^{2} - 32 \, a^{n} n\right )} \sin \left ({\left (d x + c\right )} {\left (n - 2\right )}\right ) + {\left (a^{n} n^{4} + 4 \, a^{n} n^{3} - 4 \, a^{n} n^{2} - 16 \, a^{n} n\right )} \sin \left ({\left (d x + c\right )} {\left (n - 4\right )}\right ) + 6 \, {\left (a^{n} n^{4} - 20 \, a^{n} n^{2} + 64 \, a^{n}\right )} \sin \left ({\left (d x + c\right )} n\right )}{16 \, {\left (e^{n + 4} n^{5} - 20 \, e^{n + 4} n^{3} + 64 \, e^{n + 4} n\right )} d} \]

[In]

integrate((e*sec(d*x+c))^(-4-n)*(a+I*a*tan(d*x+c))^n,x, algorithm="maxima")

[Out]

1/16*((-I*a^n*n^4 + 4*I*a^n*n^3 + 4*I*a^n*n^2 - 16*I*a^n*n)*cos((d*x + c)*(n + 4)) - 4*(I*a^n*n^4 - 2*I*a^n*n^
3 - 16*I*a^n*n^2 + 32*I*a^n*n)*cos((d*x + c)*(n + 2)) - 4*(I*a^n*n^4 + 2*I*a^n*n^3 - 16*I*a^n*n^2 - 32*I*a^n*n
)*cos((d*x + c)*(n - 2)) + (-I*a^n*n^4 - 4*I*a^n*n^3 + 4*I*a^n*n^2 + 16*I*a^n*n)*cos((d*x + c)*(n - 4)) - 6*(I
*a^n*n^4 - 20*I*a^n*n^2 + 64*I*a^n)*cos((d*x + c)*n) + (a^n*n^4 - 4*a^n*n^3 - 4*a^n*n^2 + 16*a^n*n)*sin((d*x +
c)*(n + 4)) + 4*(a^n*n^4 - 2*a^n*n^3 - 16*a^n*n^2 + 32*a^n*n)*sin((d*x + c)*(n + 2)) + 4*(a^n*n^4 + 2*a^n*n^3
- 16*a^n*n^2 - 32*a^n*n)*sin((d*x + c)*(n - 2)) + (a^n*n^4 + 4*a^n*n^3 - 4*a^n*n^2 - 16*a^n*n)*sin((d*x + c)*
(n - 4)) + 6*(a^n*n^4 - 20*a^n*n^2 + 64*a^n)*sin((d*x + c)*n))/((e^(n + 4)*n^5 - 20*e^(n + 4)*n^3 + 64*e^(n +
4)*n)*d)

Giac [F]

\[ \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n \, dx=\int { \left (e \sec \left (d x + c\right )\right )^{-n - 4} {\left (i \, a \tan \left (d x + c\right ) + a\right )}^{n} \,d x } \]

[In]

integrate((e*sec(d*x+c))^(-4-n)*(a+I*a*tan(d*x+c))^n,x, algorithm="giac")

[Out]

integrate((e*sec(d*x + c))^(-n - 4)*(I*a*tan(d*x + c) + a)^n, x)

Mupad [B] (verification not implemented)

Time = 11.48 (sec) , antiderivative size = 511, normalized size of antiderivative = 1.90 \[ \int (e \sec (c+d x))^{-4-n} (a+i a \tan (c+d x))^n \, dx=\frac {\left (2\,{\sin \left (2\,c+2\,d\,x\right )}^2+\sin \left (4\,c+4\,d\,x\right )\,1{}\mathrm {i}-1\right )\,\left (\frac {{\left (a-\frac {a\,\sin \left (c+d\,x\right )\,1{}\mathrm {i}}{2\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1}\right )}^n\,\left (-n^3-4\,n^2+4\,n+16\right )}{d\,\left (n^4\,1{}\mathrm {i}-n^2\,20{}\mathrm {i}+64{}\mathrm {i}\right )}+\frac {4\,{\left (a-\frac {a\,\sin \left (c+d\,x\right )\,1{}\mathrm {i}}{2\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1}\right )}^n\,\left (-2\,{\sin \left (c+d\,x\right )}^2+\sin \left (2\,c+2\,d\,x\right )\,1{}\mathrm {i}+1\right )\,\left (-n^3-2\,n^2+16\,n+32\right )}{d\,\left (n^4\,1{}\mathrm {i}-n^2\,20{}\mathrm {i}+64{}\mathrm {i}\right )}+\frac {{\left (a-\frac {a\,\sin \left (c+d\,x\right )\,1{}\mathrm {i}}{2\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1}\right )}^n\,\left (-2\,{\sin \left (4\,c+4\,d\,x\right )}^2+\sin \left (8\,c+8\,d\,x\right )\,1{}\mathrm {i}+1\right )\,\left (-n^3+4\,n^2+4\,n-16\right )}{d\,\left (n^4\,1{}\mathrm {i}-n^2\,20{}\mathrm {i}+64{}\mathrm {i}\right )}+\frac {4\,{\left (a-\frac {a\,\sin \left (c+d\,x\right )\,1{}\mathrm {i}}{2\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1}\right )}^n\,\left (-2\,{\sin \left (3\,c+3\,d\,x\right )}^2+\sin \left (6\,c+6\,d\,x\right )\,1{}\mathrm {i}+1\right )\,\left (-n^3+2\,n^2+16\,n-32\right )}{d\,\left (n^4\,1{}\mathrm {i}-n^2\,20{}\mathrm {i}+64{}\mathrm {i}\right )}-\frac {{\left (a-\frac {a\,\sin \left (c+d\,x\right )\,1{}\mathrm {i}}{2\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1}\right )}^n\,\left (-2\,{\sin \left (2\,c+2\,d\,x\right )}^2+\sin \left (4\,c+4\,d\,x\right )\,1{}\mathrm {i}+1\right )\,\left (6\,n^4-120\,n^2+384\right )}{d\,n\,\left (n^4\,1{}\mathrm {i}-n^2\,20{}\mathrm {i}+64{}\mathrm {i}\right )}\right )}{16\,{\left (-\frac {e}{2\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1}\right )}^{n+4}\,{\left ({\sin \left (c+d\,x\right )}^2-1\right )}^2} \]

[In]

int((a + a*tan(c + d*x)*1i)^n/(e/cos(c + d*x))^(n + 4),x)

[Out]

((sin(4*c + 4*d*x)*1i + 2*sin(2*c + 2*d*x)^2 - 1)*(((a - (a*sin(c + d*x)*1i)/(2*sin(c/2 + (d*x)/2)^2 - 1))^n*(
4*n - 4*n^2 - n^3 + 16))/(d*(n^4*1i - n^2*20i + 64i)) + (4*(a - (a*sin(c + d*x)*1i)/(2*sin(c/2 + (d*x)/2)^2 -
1))^n*(sin(2*c + 2*d*x)*1i - 2*sin(c + d*x)^2 + 1)*(16*n - 2*n^2 - n^3 + 32))/(d*(n^4*1i - n^2*20i + 64i)) + (
(a - (a*sin(c + d*x)*1i)/(2*sin(c/2 + (d*x)/2)^2 - 1))^n*(sin(8*c + 8*d*x)*1i - 2*sin(4*c + 4*d*x)^2 + 1)*(4*n
+ 4*n^2 - n^3 - 16))/(d*(n^4*1i - n^2*20i + 64i)) + (4*(a - (a*sin(c + d*x)*1i)/(2*sin(c/2 + (d*x)/2)^2 - 1))
^n*(sin(6*c + 6*d*x)*1i - 2*sin(3*c + 3*d*x)^2 + 1)*(16*n + 2*n^2 - n^3 - 32))/(d*(n^4*1i - n^2*20i + 64i)) -
((a - (a*sin(c + d*x)*1i)/(2*sin(c/2 + (d*x)/2)^2 - 1))^n*(sin(4*c + 4*d*x)*1i - 2*sin(2*c + 2*d*x)^2 + 1)*(6*
n^4 - 120*n^2 + 384))/(d*n*(n^4*1i - n^2*20i + 64i))))/(16*(-e/(2*sin(c/2 + (d*x)/2)^2 - 1))^(n + 4)*(sin(c +
d*x)^2 - 1)^2)